Nuprl Definition : sym_cl
13,42
postcript
pdf
(
E
)(
x
,
y
) ==
E
(
x
,
y
) &
E
(
y
,
x
)
latex
Up
gen
algebra
1
Wellformedness Lemmas
sym
cl
wf
Definitions
P
&
Q
origin
)(x,y) == E(x,y) & E(y,x) )(x,y) == E(x,y) & E(y,x)